Pushdown automaton - PDFSEARCH.IO - Document Search Engine

Pushdown automaton
Results: 134

#	Item
11	PDF Document Add to Reading List Source URL: www-igm.univ-mlv.fr Language: English - Date: 2009-03-05 12:47:57 Nested word Words Pushdown automaton Context-free language Symbol Finite-state machine Mathematics Linguistics Computing Automata theory Models of computation Formal languages
12	JFLAP2TikZ Andrew Mertz and William Slough Introduction JFLAP1 is a popular Java program for experimenting with finite state machines, Turing machines and other concepts from Formal Languages and Automata Theory. Version Add to Reading List Source URL: ctan.sciserv.eu Language: English - Date: 2014-07-22 07:31:56 Theoretical computer science Computer science PGF/TikZ Turing machine Finite-state machine Pushdown automaton Models of computation Theory of computation Automata theory
13	Ramsey Goes Visibly Pushdown Oliver Friedmann1 , Felix Klaedtke2 , and Martin Lange3 1 LMU Munich, 2 ETH Zurich, and 3 University of Kassel Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2013-02-13 07:24:13 Nested word Deterministic pushdown automaton Pushdown automaton Connection Complementation of Büchi automaton Automata theory Theoretical computer science Computer science
14	Notes on Counting with Finite Machines Dmitry Chistikov Max Planck Institute for Software Systems (MPI-SWS) Kaiserslautern and Saarbrücken, Germany Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2014-12-11 10:15:34 Theoretical computer science Computer science Nested word Pushdown automaton Deterministic pushdown automaton Turing machine Nondeterministic finite automaton SC Deterministic finite automaton Automata theory Theory of computation Models of computation
15	On system rollback and totalised fields An algebraic approach to system change Mark Burgess and Alva Couch 20th June 2011 This paper is dedicated to Jan Bergstra on the occasion of his 60th birthday. Add to Reading List Source URL: markburgess.org Language: English - Date: 2014-12-18 08:35:34 Finite-state machine Computing Mathematics Deterministic pushdown automaton Automata theory Models of computation Nondeterministic finite automaton
16	Pushdown Control-Flow Analysis of Higher-Order Programs Christopher Earl David Van Horn ∗ Matthew Might Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:59 Symbol Structure Model theory Mathematics Logic Automata theory Models of computation Pushdown automaton
17	Context-Free Languages∗ Jean Berstel Luc Boasson June 8, 2008 Add to Reading List Source URL: www-igm.univ-mlv.fr Language: English - Date: 2008-06-08 00:54:52 Linguistics Context-free grammar Formal grammar Linear grammar Pushdown automaton Ambiguous grammar Controlled grammar Context-sensitive grammar Formal languages Grammar Theoretical computer science
18	Context-Free Languages∗ Jean Berstel Luc Boasson June 8, 2008 Add to Reading List Source URL: www-igm.univ-mlv.fr Language: English - Date: 2008-06-08 00:54:52 Linguistics Context-free grammar Formal grammar Linear grammar Pushdown automaton Ambiguous grammar Controlled grammar Context-sensitive grammar Formal languages Grammar Theoretical computer science
19	Regularity Problems for Weak Pushdown ω-Automata and Games Extended VersionChristof L¨oding and Stefan Repke⋆ Lehrstuhl f¨ ur Informatik 7, RWTH Aachen, Germany Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-09-03 08:07:06 Formal languages Computer science Deterministic pushdown automaton Ω-automaton Pushdown automaton Omega language Nondeterministic finite automaton Context-free language Regular language Automata theory Theoretical computer science Models of computation
20	Context-Free Languages and Pushdown Automata Jean-Michel Autebert1 , Jean Berstel2 , and Luc Boasson3 1 2 3 Add to Reading List Source URL: www-igm.univ-mlv.fr Language: English - Date: 2009-04-11 04:05:34 Context-free language Linear grammar Context-free grammar Formal grammar Vector space Nested word Pushdown automaton Formal languages Algebra Mathematics